1. Hybrid systems III : verification and control
پدیدآورنده: Rajeev Alur ... ]et al.[, )eds(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Hybrid computers,Congresses ، Digital control systems
رده :
QA
76
.
L28
Vol
.
1066